Formal semantics

Results: 502



#Item
11

Motivation Semantics Formal properties

Add to Reading List

Source URL: www.softlab.ntua.gr

- Date: 2015-07-08 18:37:14
    12

    Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    - Date: 2015-03-22 12:39:32
      13

      Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Doug Weitz

      Add to Reading List

      Source URL: conferences.sigcomm.org

      - Date: 2016-09-01 13:44:42
        14

        Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

        Add to Reading List

        Source URL: www.cs.tau.ac.il

        - Date: 2016-11-12 00:09:04
          15

          Formal Semantics for the Java Modeling Language Daniel Bruns Karlsruhe Institute of Technology A common critique of formal methods in software development practise is, that they are not readily understandab

          Add to Reading List

          Source URL: formal.iti.kit.edu

          - Date: 2014-03-13 08:30:05
            16

            Formal Semantics & Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos

            Add to Reading List

            Source URL: www.cs.washington.edu

            - Date: 2016-08-17 13:59:37
              17

              An executable formal semantics of PHP? Daniele Filaretti and Sergio Maffeis Department of Computing, Imperial College London {d.filaretti11,sergio.maffeis}@imperial.ac.uk Abstract. PHP is among the most used languages f

              Add to Reading List

              Source URL: www.doc.ic.ac.uk

              - Date: 2014-05-13 05:10:37
                18

                Formal Syntax and Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2016-11-26 08:22:59
                  19

                  Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

                  Add to Reading List

                  Source URL: www.cs.tau.ac.il

                  - Date: 2014-03-24 02:48:08
                    20

                    Formal Syntax and Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

                    Add to Reading List

                    Source URL: www.cs.tau.ac.il

                    - Date: 2015-04-12 10:45:56
                      UPDATE